package bcontractor.propositional.factories;

import bcontractor.api.Sentence;
import bcontractor.api.SentenceSet;

/**
 * A contraction case
 * 
 * @author lundberg
 * @param <S>
 *            type of sentence
 * 
 */
public class ContractionCase<S extends Sentence<S>> {

	private final SentenceSet<S> sentences;

	private final S sentence;

	/**
	 * Constructor
	 * 
	 * @param sentences
	 *            sentences
	 * @param sentence
	 *            sentence
	 */
	public ContractionCase(SentenceSet<S> sentences, S sentence) {
		this.sentences = sentences;
		this.sentence = sentence;
	}

	public SentenceSet<S> getSentences() {
		return sentences;
	}

	public S getSentence() {
		return sentence;
	}
}
